Stand for studying microcontrollers

Studying and Teaching “Law as Rhetoric”: A Place to Stand

Model Checking Software for Microcontrollers

A method for model checking of microcontroller code is presented. The main objective is to check embedded C code including typical hardware specific ingredients like embedded assembly statements, direct memory accesses, direct register accesses, interrupts, and timers, without any further manual preprocessing. For this purpose, the state space is generated directly from the assembly code that i...

Power Aware Instruction Scheduling for Microcontrollers

The ability to reduce power consumption of a device is attractive for several reasons. On one hand, reducing power in high end computers will reduce the cost of cooling and the performance loss due to overheating cores. On the other hand, ubiquitous battery powered devices will enjoy a longer battery life due to the reduction in power consumption. In this paper, we present a set of mechanisms t...

Encryption on Microcontrollers

This project concentrates on the security of simple embedded systems that sends data wirelessly. For example, a WIFI home security camera. The algorithm, Advanced Security Standard (AES), is chosen since it is a common and efficient algorithm. The processor of a simple embedded system has limited processing power and some applications are real time, so reducing the usage of the processor and ti...

Introduction to Microcontrollers